On the saturation of YAGO

YAGO is an automatically generated ontology out of Wikipedia and WordNet. It is eventually represented in a proprietary flat text file format and a core comprises 10 million facts and formulas. We present a translation of YAGO into the Bernays-Sch¨onfinkel Horn class with equality. A new variant of the superposition calculus is sound, complete and terminating for this class. Together with extended term indexing data structures the new calculus is implemented in Spass-YAGO. YAGO can be finitely saturated by Spass-YAGO in about 1 hour.We have found 49 inconsistencies in the original generated ontology which we have fixed. Spass-YAGO can then prove non-trivial conjectures with respect to the resulting saturated and consistent clause set of about 1.4 GB in less than one second

Dynamic rotor mode in antiferromagnetic nanoparticles

We present experimental, numerical, and theoretical evidence for a new mode of antiferromagnetic dynamics in nanoparticles. Elastic neutron scattering experiments on 8 nm particles of hematite display a loss of diffraction intensity with temperature, the intensity vanishing around 150 K. However, the signal from inelastic neutron scattering remains above that temperature, indicating a magnetic system in constant motion. In addition, the precession frequency of the inelastic magnetic signal shows an increase above 100 K. Numerical Langevin simulations of spin dynamics reproduce all measured neutron data and reveal that thermally activated spin canting gives rise to a new type of coherent magnetic precession mode. This "rotor" mode can be seen as a high-temperature version of superparamagnetism and is driven by exchange interactions between the two magnetic sublattices. The frequency of the rotor mode behaves in fair agreement with a simple analytical model, based on a high temperature approximation of the generally accepted Hamiltonian of the system. The extracted model parameters, as the magnetic interaction and the axial anisotropy, are in excellent agreement with results from Mossbauer spectroscopy

Molecular observation of contour-length fluctuations limiting topological confinement in polymer melts

In order to study the mechanisms limiting the topological chain confinement in polymer melts, we have performed neutron-spin-echo investigations of the single-chain dynamic-structure factor from polyethylene melts over a large range of chain lengths. While at high molecular weight the reptation model is corroborated, a systematic loosening of the confinement with decreasing chain length is found. The dynamic-structure factors are quantitatively described by the effect of contour-length fluctuations on the confining tube, establishing this mechanism on a molecular level in space and time

The Raman coupling function in amorphous silica and the nature of the long wavelength excitations in disordered systems

New Raman and incoherent neutron scattering data at various temperatures and molecular dynamic simulations in amorphous silica, are compared to obtain the Raman coupling coefficient $C(\omega)$ and, in particular, its low frequency limit. This study indicates that in the $\omega \to 0$ limit $C(\omega)$ extrapolates to a non vanishing value, giving important indications on the characteristics of the vibrational modes in disordered materials; in particular our results indicate that even in the limit of very long wavelength the local disorder implies non-regular local atomic displacements.Comment: Revtex, 4 ps figure

Signature of small rings in the Raman spectra of normal and compressed amorphous silica: A combined classical and ab initio study

We calculate the parallel (VV) and perpendicular (VH) polarized Raman spectra of amorphous silica. Model SiO2 glasses, uncompressed and compressed, were generated by a combination of classical and ab initio molecular-dynamics simulations and their dynamical matrices were computed within the framework of the density functional theory. The Raman scattering intensities were determined using the bond-polarizability model and a good agreement with experimental spectra was found. We confirm that the modes associated to the fourfold and threefold rings produce most of the Raman intensity of the D1 and D2 peaks, respectively, in the VV Raman spectra. Modifications of the Raman spectra upon compression are found to be in agreement with experimental data. We show that the modes associated to the fourfold rings still exist upon compression but do not produce a strong Raman intensity, whereas the ones associated to the threefold rings do. This result strongly suggests that the area under the D1 and D2 peaks is not directly proportional to the concentration of small rings in amorphous SiO2.Comment: 21 pages, 8 figures. Phys. Rev. B, in pres

Tunka-Rex: the Cost-Effective Radio Extension of the Tunka Air-Shower Observatory

Tunka-Rex is the radio extension of the Tunka cosmic-ray observatory in Siberia close to Lake Baikal. Since October 2012 Tunka-Rex measures the radio signal of air-showers in coincidence with the non-imaging air-Cherenkov array Tunka-133. Furthermore, this year additional antennas will go into operation triggered by the new scintillator array Tunka-Grande measuring the secondary electrons and muons of air showers. Tunka-Rex is a demonstrator for how economic an antenna array can be without losing significant performance: we have decided for simple and robust SALLA antennas, and we share the existing DAQ running in slave mode with the PMT detectors and the scintillators, respectively. This means that Tunka-Rex is triggered externally, and does not need its own infrastructure and DAQ for hybrid measurements. By this, the performance and the added value of the supplementary radio measurements can be studied, in particular, the precision for the reconstructed energy and the shower maximum in the energy range of approximately $10^{17}-10^{18}\,$eV. Here we show first results on the energy reconstruction indicating that radio measurements can compete with air-Cherenkov measurements in precision. Moreover, we discuss future plans for Tunka-Rex.Comment: Proceeding of UHECR 2014, Springdale, Utah, USA, accepted by JPS Conference Proceeding

Co-firing of biomass and other wastes in fluidised bed systems

A project on co-firing in large-scale power plants burning coal is currently funded by the European Commission. It is called COPOWER. The project involves 10 organisations from 6 countries. The project involves combustion studies over the full spectrum of equipment size, ranging from small laboratory-scale reactors and pilot plants, to investigate fundamentals and operating parameters, to proving trials on a commercial power plant in Duisburg. The power plant uses a circulating fluidized bed boiler. The results to be obtained are to be compared as function of scale-up. There are two different coals, 3 types of biomass and 2 kinds of waste materials are to be used for blending with coal for co-firing tests. The baseline values are obtained during a campaign of one month at the power station and the results are used for comparison with those to be obtained in other units of various sizes. Future tests will be implemented with the objective to achieve improvement on baseline values. The fuels to be used are already characterized. There are ongoing studies to determine reactivities of fuels and chars produced from the fuels. Reactivities are determined not only for individual fuels but also for blends to be used. Presently pilot-scale combustion tests are also undertaken to study the effect of blending coal with different types of biomass and waste materials. The potential for synergy to improve combustion is investigated. Early results will be reported in the Conference. Simultaneously, studies to verify the availability of biomass and waste materials in Portugal, Turkey and Italy have been undertaken. Techno-economic barriers for the future use of biomass and other waste materials are identified. The potential of using these materials in coal fired power stations has been assessed. The conclusions will also be reported

Status and Plans for the Array Control and Data Acquisition System of the Cherenkov Telescope Array

The Cherenkov Telescope Array (CTA) is the next-generation atmospheric Cherenkov gamma-ray observatory. CTA will consist of two installations, one in the northern, and the other in the southern hemisphere, containing tens of telescopes of different sizes. The CTA performance requirements and the inherent complexity associated with the operation, control and monitoring of such a large distributed multi-telescope array leads to new challenges in the field of the gamma-ray astronomy. The ACTL (array control and data acquisition) system will consist of the hardware and software that is necessary to control and monitor the CTA arrays, as well as to time-stamp, read-out, filter and store -at aggregated rates of few GB/s- the scientific data. The ACTL system must be flexible enough to permit the simultaneous automatic operation of multiple sub-arrays of telescopes with a minimum personnel effort on site. One of the challenges of the system is to provide a reliable integration of the control of a large and heterogeneous set of devices. Moreover, the system is required to be ready to adapt the observation schedule, on timescales of a few tens of seconds, to account for changing environmental conditions or to prioritize incoming scientific alerts from time-critical transient phenomena such as gamma ray bursts. This contribution provides a summary of the main design choices and plans for building the ACTL system.Comment: In Proceedings of the 34th International Cosmic Ray Conference (ICRC2015), The Hague, The Netherlands. All CTA contributions at arXiv:1508.0589

Search for Point Sources of High Energy Neutrinos with AMANDA

This paper describes the search for astronomical sources of high-energy neutrinos using the AMANDA-B10 detector, an array of 302 photomultiplier tubes, used for the detection of Cherenkov light from upward traveling neutrino-induced muons, buried deep in ice at the South Pole. The absolute pointing accuracy and angular resolution were studied by using coincident events between the AMANDA detector and two independent telescopes on the surface, the GASP air Cherenkov telescope and the SPASE extensive air shower array. Using data collected from April to October of 1997 (130.1 days of livetime), a general survey of the northern hemisphere revealed no statistically significant excess of events from any direction. The sensitivity for a flux of muon neutrinos is based on the effective detection area for through-going muons. Averaged over the Northern sky, the effective detection area exceeds 10,000 m^2 for E_{mu} ~ 10 TeV. Neutrinos generated in the atmosphere by cosmic ray interactions were used to verify the predicted performance of the detector. For a source with a differential energy spectrum proportional to E_{nu}^{-2} and declination larger than +40 degrees, we obtain E^2(dN_{nu}/dE) <= 10^{-6}GeVcm^{-2}s^{-1} for an energy threshold of 10 GeV.Comment: 46 pages, 22 figures, 4 tables, submitted to Ap.